Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France (International Federation of Information Processing 173)

Förlag	År	Ort	Om boken	ISBN
Springer	2005	Utgivningsland okänt / Ej specificerat